Section: Partnerships and Cooperations

National Initiatives

ANR

• ANR MALTHY, Méthodes ALgébriques pour la vérification de modèles Temporisés et HYbrides, Thao Dang, 4 years, Inria and VISEO and CEA and VERIMAG

• ANR COGITO, Runtime Code Generation to Secure Devices, 3 years, Inria and CEA and ENSMSE and XLIM.

• ANR AHMA, Automated Hardware Malware Analysis, 3,5 years (42month),

• ANR JCJC CNRS.

DGA

• PhD grant for Nisrine Jafri (2016–2019),

• PhD grant for Aurélien Palisse (2016–2019),

• PhD grant for Alexandre Gonzalves (2016–2019),

• PhD grant for Olivier Decourbe (2017–2020),

• PhD grant for Alexandre Zdhanov (2017–2020)

• PhD grant for Christophe Genevey Metat (2019-2022)

Autres

• INS2I JCJC grant for Annelie Heuser